ThinTrivial 
\\[0ex]THEN Assert $Q$ $\in$ $\mathbb{P}$